More from this Author
Found 7 books by Cliff Jones (Editor)
The Living History Anthology
by Martha B. Katz-Hyman (Editor), Cliff Jones (Editor), Susan J. McCabe (Editor), Mary Seelhorst (Editor)
Symposium on Real-Time and Hybrid Systems
by Cliff Jones (Editor), Ji Wang (Editor), Naijun Zhan (Editor)
Reflections on the Work of C. A. R. Hoare
by Cliff Jones (Editor), A. W. Roscoe (Editor), Kenneth R. Wood (Editor)
FM 2014: Formal Methods
by Cliff Jones (Editor), Pekka Pihlajasaari (Editor), Jun Sun (Editor)
5th Refinement Workshop
by Cliff Jones (Editor), Roger C. Shaw (Editor), Tim Denvir (Editor)
The Living History Anthology
by Martha B. Katz-Hyman (Editor), Cliff Jones (Editor), Susan J. McCabe (Editor), Mary Seelhorst (Editor)
FM 2014: Formal Methods
by Cliff Jones (Editor), Pekka Pihlajasaari (Editor), Jun Sun (Editor)